Упорядоченное множество

**Упорядоченное множество** (ЧУМ) — это пара $(A, \preccurlyeq)$, состоящая из множества и отношения порядка на нем.